1. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
